Back Shefferscher Strich German Sheffer stroke English Conjunción opuesta Spanish خط شفر Persian Shefferin viiva Finnish Barre de Sheffer French 否定論理積 Japanese 부정논리곱 Korean Dysjunkcja (Sheffera) Polish Штрих Шеффера Russian
L'operatore di Sheffer, chiamato anche negazione alternativa (o incompatibile) o anche NAND, è uno dei due operatori introdotti dal matematico statunitense Henry Maurice Sheffer (l'altro operatore è NOR).
Tale connettivo vero-funzionale corrisponde, nel linguaggio naturale, a un utilizzo differente di "o" sia dalla disgiunzione esclusiva che da quella inclusiva. In logica matematica si indica con il segno "|" interposto tra le due lettere proposizionali (es. p | q); oppure, soprattutto in informatica, con la parola logica NAND, la quale corrisponde, appunto, a "negazione di and". Per questo motivo, la sua tavola di verità è complementare rispetto a quella della congiunzione.